Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
221	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus
222	Technical note: How Most Similar Groups are formed What are Most Similar Groups? Most Similar Groups (MSGs) are groups of local areas that have been found to be the most similar to each other using statistical methods, b Add to Reading List Source URL: www.justiceinspectorates.gov.uk Language: English - Date: 2014-11-26 12:15:56 Multivariate statistics Logical syntax Variables Standard deviation Correlation and dependence Dimensional analysis Principal component analysis Quartile Unemployment Statistics Data analysis Summary statistics
223	Synthese DOI[removed]s11229[removed]Quantified coalition logic Thomas Ågotnes · Wiebe van der Hoek · Michael Wooldridge Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-10-12 11:30:15 Deduction Entailment Logical consequence Logical syntax Metalogic FO Interpretation Boolean satisfiability problem Logic Theoretical computer science Mathematics
224	401 Notre Dame Journal of Formal Logic Volume 27, Number 3, July 1986 Reflexivity NATHAN SALMON* Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-09-10 08:10:53 Philosophy of language Philosophical logic Meaning Analytic philosophers Logical syntax Nathan Salmon David Kaplan Proposition Sense and reference Logic Philosophy Analytic philosophy
225	(forthcoming in European Journal for Philosophy of Religion and in (ed.)M.Szatkowski, Ontological Proofs Today, Ontos Verlag.) What kind of necessary being could God be? Richard Swinburne I shall understand by „metaphy Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2013-12-19 11:28:55 Binary operations Possibility Logical syntax Entailment Subjunctive possibility Metaphysical necessity Truth Logical possibility If and only if Logic Philosophical logic Modal logic
226	Modelling Combinatorial Auctions in Linear Logic Add to Reading List Source URL: www.danieleporello.net Language: English - Date: 2012-12-06 05:17:38 Metalogic Proof theory Philosophical logic Linear logic Auction Sequent calculus If and only if Well-formed formula Entailment Logic Binary operations Logical syntax
227	Ontological Commitment∗ Agust´ın Rayo web.mit.edu/arayo/www/ February 9, [removed] Add to Reading List Source URL: web.mit.edu Language: English - Date: 2008-07-07 12:44:56 Philosophy of language Logical syntax Ontology Truth First-order logic Proposition Entailment Ontological commitment Modal logic Logic Philosophical logic Propositional calculus
228	Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 29, 1996 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:15:36 Propositional calculus Model theory Boolean algebra Logical syntax First-order logic Propositional formula Axiom Interpretation Substitution Logic Mathematical logic Mathematics
229	11 The KAM Theorem John H. Hubbard Department of Mathematics, Cornell University, Ithaca, NY, USA http://www.math.cornell.edu/People/Faculty/hubbard.html [removed] Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2008-09-22 20:24:16 Mathematical logic Logical syntax Philosophical logic Philosophy of language Theorems Kolmogorov–Arnold–Moser theorem Andrey Kolmogorov Mathematical proof Kam Mathematics Logic Science
230	Towards a Trivialist Account of Mathematics Agust´ın Rayo mit March 12, 2009 The aim of this paper is to defend mathematical trivialism—the view that the truths of Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-03-12 08:37:42 Philosophical logic Philosophy of language Metalogic Propositions Philosophy of mathematics Truth Semantics Interpretation Model theory Logic Philosophy Logical syntax

UPDATE